#!/bin/bash -Ceuo pipefail
echo Hello World