let undefined_position = 
  {
    start_p = Lexing.dummy_pos;
    end_p   = Lexing.dummy_pos
  }