:: String -> Int is:exact -package:Cabal -package:ghc -package:Agda -package:language-c -package:numeric-prelude -package:hxt package:basement

stop execution and displays an error message