import StdEnv

strlen :: String -> Int
strlen string = size string

Start = strlen "Hello, world!"