Symbol: to_mdp5_encoder