Symbol: IS_MARKED