Update 01-genintfile.hs