Symbol: redrat3_us_to_len