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