ppc_warn_emulated_print
extern void ppc_warn_emulated_print(const char *type);
ppc_warn_emulated_print(ppc_emulated.type.name); \