let opt_gen = " generate code to (chop_extension <file>).ml"