#! /bin/sh

./run bad-run-mini