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