{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
    // so computing its ABI would fail. It's also not worth it since there are no arguments to pass.
    // This can't use `init_stack_frame` since `body` is not a function,
    ecx.push_stack_frame_raw(