substring::=