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,