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