(File jkfmacs.l)