///|
pub let no_location : Location = {
  start: { fname: "", lnum: -1, bol: -1, cnum: -1, },
  end: { fname: "", lnum: -1, bol: -1, cnum: -1, },
}