‘(Hello, world.)’