Some work on libtx
libtx seems ok