let
opt_out =
" <file> Output code to <file> or translate the given file into <file>"