HeaderInfo
getImports
mkPrelImports
getOptionsFromFile
getOptions
optionsErrorMsgs
checkProcessArgsResult