#include #include #include PlBool babel_c_0(int arg_0, int * babel_ret) { *babel_ret = foo1(arg_0); printf("%d\n", *babel_ret); return PL_TRUE; } PlBool babel_c_1(char* arg_0, int arg_1) { printf(arg_0, arg_1); return PL_TRUE; }