re_string_length
if (re_string_cur_idx (input) + 1 >= re_string_length (input))
re_string_cur_idx (input) + 1 != re_string_length (input))
&& re_string_cur_idx (input) + 1 < re_string_length (input))
if (re_string_cur_idx (input) + 1 < re_string_length (input))