#!/bin/sh
set -euo pipefail

exec awk -f "$@"