add an actually functional version of gettx.hs