Symbol: change_mnt_propagation