let set_loc kinstr = match kinstr with | Kglobal -> CurrentLoc.clear () | Kstmt s -> CurrentLoc.set (Stmt.loc s)