$HDB -v0 app/Main.hs 2>&1 < T237.hdb-stdin || true