start bastext 12288
start tok128 d64-BtIid7
stop tok128
(bastext 1.0)