Just for fun PHP extension for reading Gens input files