{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"bx.store(param_system_table,"}]}
        bx.store(param_system_table, arg_argv_el1, ptr_align);
        let arg_argv_el1 = bx.inbounds_ptradd(arg_argv, bx.const_usize(ptr_size.bytes()));
        (arg_argc, arg_argv)