let
nosplit_help =
" Use the --split option on hlpsl2if for hlpsl input file."