consume_stack
assert(consume_stack(stack_high - stack_used, stack_high, delta, type) == 0);
return consume_stack(target_sp, stack_high, delta, type);
return consume_stack(stack_size, write_pipe);
FAIL_IF(consume_stack(stack_size, write_pipe));