Symbol: MARK_INT_GEN