:: String -> Int -package:gpolyline -package:Agda package:bytestring

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