val strlen = size "Hello, world!";