#!/bin/sh
cd "$(dirname "$0")" || exit 1
timeout 10 ./harness "$@"