let lc k1 k2 = {file=None; line=Some k1; col=Some k2}