start bastext 8192
start tok128 d64-prOKOS
stop tok128
(bastext 1.0)