Hello world in raw PHP