Hello world: 42