#include #include #include #include long print_nl(fwd_extern_args_t args) { assert(args.argc == 0); putchar('\n'); return 0; } long print_i64(fwd_extern_args_t args) { assert(args.argc == 1); int64_t n = FWD_ARG_T(args, 0, int64_t); printf("%lld", (long long)n); return 0; } int fwdopen(fwd_state_t *state) { FWD_REGISTER(state, print_nl, FWD_VOID); FWD_REGISTER(state, print_i64, FWD_VOID, FWD_T(int64_t)); return 0; }