Hello world should work