currentModule
defaultOptions
kics2Mode
pPrint
ppDecls
ppHeader
ppImports
ppProg
qualImpModule
traceFailure