“(Hello, world.)”