t = {
  source : string option;
  line : int option;
  offset : int option
}