t = {file:string option; line:int option; col:int option}