const char* genname_unbox(const char* name) { return stringtab_two(name, "Unbox"); }
const char* genname_instance(const char* type) { return stringtab_two(type, "Inst"); }
const char* genname_be(const char* name) { return stringtab_two(name, "_send"); }
const char* genname_dispatch(const char* type) { return stringtab_two(type, "Dispatch"); }
const char* genname_descriptor(const char* type) { return stringtab_two(type, "Desc"); }
const char* genname_serialise_trace(const char* type) { return stringtab_two(type, "SerialiseTrace"); }
const char* genname_deserialise(const char* type) { return stringtab_two(type, "Deserialise"); }
const char* genname_trace(const char* type) { return stringtab_two(type, "Trace"); }
const char* genname_fieldlist(const char* type) { return stringtab_two(type, "Fields"); }
const char* genname_traitlist(const char* type) { return stringtab_two(type, "Traits"); }
const char* genname_alloc(const char* type) { return stringtab_two(type, "Alloc"); }
const char* genname_program_fn(const char* program, const char* name) { return stringtab_two(program, name); }