let push_nl_info () =
  Stack.push !next_line_is_more_indented nl_info_stack