#! /bin/sh

./run bad-maple