3e2c3d9
--- runtime/Clib/callcc.c.orig	2018-12-18 16:52:51.177402754 -0700
3e2c3d9
+++ runtime/Clib/callcc.c	2019-01-19 09:18:23.532808135 -0700
f4c6c68
@@ -283,7 +283,7 @@ call_cc( obj_t proc ) {
3e2c3d9
       flush_regs_in_stack();
3e2c3d9
 
3e2c3d9
       /* on recupere l'adresse du sommet de pile */
3e2c3d9
-      stack_top = (char *)bgl_get_top_of_stack();
3e2c3d9
+      stack_top = (char *)((unsigned long)bgl_get_top_of_stack() & 0xFFFFFFFFFFFFFC00UL);
3e2c3d9
       
3e2c3d9
       /* on calcule la taille de la pile, en prevoyant que le GC peut */
3e2c3d9
       /* flusher les registres dans la pile (REGISTER_SAVE_BUFFER)    */