$HDB Main.hs -v 0 < T225b.hdb-stdin