character_length::=