rm -rf build

$1 --exec main Issue2362.idr

