Symbol: mnt_to_propagation_flags