let line_indentations = ref ([] : int option list)