HC_PUSH_CONTENTS 688 gc/mark.c HC_PUSH_CONTENTS((ptr_t)current, mark_stack_top, HC_PUSH_CONTENTS 791 gc/mark.c HC_PUSH_CONTENTS((ptr_t)current, mark_stack_top, HC_PUSH_CONTENTS 801 gc/mark.c HC_PUSH_CONTENTS((ptr_t)deferred, mark_stack_top,