let flc s k1 k2 = {file=Some s; line=Some k1; col=Some k2}