import Opsys
export Set_line_number_and_column

Line_num : Integer := 1
Col_num : Integer := 1
Module_id : String := `'

proc Interact
  Terminate_process(Myself, 1)

proc Message(s : String)
  put Module_id`('Line_num, Col_num`) 's

proc Set_line_number_and_column(lno, cno)
  Line_num := lno
  Col_num := cno