showUsage = do
    putStrLn "Usage: idris-codegen-clean <ibc-files> [-o <output-file>]"
    exitSuccess
showUsage = do
    putStrLn "Usage: idris-codegen-clean <ibc-files> [-o <output-file>]"
    exitSuccess
showUsage = do
    putStrLn "Usage: idris-codegen-clean <ibc-files> [-o <output-file>]"
    exitSuccess