Hello, World! with no footer (use-default-footer=0)