(lispobj *)(unsigned long)
(*os_context_register_addr(context, reg_ALLOC));
/* fprintf(stderr,"dynamic_space_free_pointer: %p\n", dynamic_space_free_pointer); */
(lispobj *)(unsigned long)
(*os_context_register_addr(context, reg_ALLOC));
/* fprintf(stderr,"dynamic_space_free_pointer: %p\n", dynamic_space_free_pointer); */