generate a python snippet that prints hello world