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