void RTTIBuilder::push_string(const char* str) { inits.push_back(DtoConstString(str)); }
void RTTIBuilder::push_string(const char *str) { push(DtoConstString(str)); }