string(12) "Hello world!" interned