strlen = length "Hello, world!"