$HDB x/Main.hs < T61.hdb-stdin