let
begin_comment_indentation = ref (!cur_indent, !next_line_is_more_indented)