Symbol: rock_check_overflow