#! /bin/sh
rm -f test/test13/break-while.M1
rm -f test/test13/break-while.hex2
rm -f test/test13/proof
exit 0