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