sig exception PosError of string * int * int * exn end