type location = unit
let first_pos () = 0
let last_pos () = 0
let make_loc _ = ()