:: String -> Int is:exact -package:polysemy -package:dbus -package:Agda -package:ghc -package:speculate package:bytestring

Raises a SizeOverflowException, with a message using the given function name.