{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
        // The entry function is either `int main(void)` or `int main(int argc, char **argv)`, or
    ) -> Bx::Function {
        // `usize efi_main(void *handle, void *system_table)` depending on the target.