Symbol: IS_MNT_MARKED