Symbol: rt1_to_str