#!/usr/bin/env bash
# Put instructions to run the runtime
shift # Discard main filename
./a.out "$@"