{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"libc::printf(b\"%ld\\n\\0\""}]}
        libc::printf(b"%ld\n\0" as *const u8 as *const i8, 40 - argc);
        libc::printf(b"%ld\n\0" as *const u8 as *const i8, 40 + argc);
        libc::printf(b"%ld\n\0" as *const u8 as *const i8, 10 * argc);