Symbol: check_length