termination_measure n_leading_spaces s = string_length(s)