| BufferIn n ->
pr " const char *%s;\n" n;
pr " size_t %s_size;\n" n
+ | Pointer _ -> assert false
) args
);
pr "\n";
| BufferIn n ->
pr " %s = args.%s.%s_val;\n" n n n;
pr " %s_size = args.%s.%s_len;\n" n n n
+ | Pointer _ -> assert false
) args;
pr "\n"
);