-typedef void (* virtualtype___MMVirtualType___init_t)(val_t self, val_t param0, val_t param1, int* init_table);
-void virtualtype___MMVirtualType___init(val_t self, val_t param0, val_t param1, int* init_table);
+val_t virtualtype___MMVirtualType___recv(val_t p0);
+typedef val_t (*virtualtype___MMVirtualType___recv_t)(val_t p0);