; Here we define the system to be TENEX
UNIVERSAL SYSDEF
FT10X==1
FT20==0
end