Symbol: to_primary_encoder