Removed loc.mli.