TBX-Basic export.