void exec___Process___execute(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table);
typedef void (*exec___Process___execute_t)(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table);
val_t NEW_Process_exec___Process___execute(val_t p0, val_t p1, val_t p2);
void exec___Process___execute(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table);
typedef void (*exec___Process___execute_t)(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table);
val_t NEW_Process_exec___Process___execute(val_t p0, val_t p1, val_t p2);