use intern_cstr_without_pindown