Symbol: check_bound