1--langdef=DTS10{base=DTS} 2--_prelude-DTS10={{ 3 (prelude DTS10) == 4}} 5--_sequel-DTS10={{ 6 (sequel DTS10) == 7}} 8 9 10--langdef=DTS11{base=DTS} 11--_prelude-DTS11={{ 12 (prelude DTS11) == 13}} 14--_sequel-DTS11={{ 15 (sequel DTS11) == 16}} 17 18--langdef=DTS20{base=DTS10} 19--_prelude-DTS20={{ 20 (prelude DTS20) == 21}} 22--_sequel-DTS20={{ 23 (sequel DTS20) == 24}} 25 26 27--langdef=DTS30{base=DTS20} 28--_prelude-DTS30={{ 29 (prelude DTS30) == 30}} 31--_sequel-DTS30={{ 32 (sequel DTS30) == 33}} 34