Defensively check pos before subtraction in module-reader.rkt.