; Here we define the system to be TENEX

FT10X==1
FT20==0