define pyk of x less one x as text unicode start of text unicode quotation mark unicode space unicode small l unicode small e unicode small s unicode small s unicode space unicode small o unicode small n unicode small e unicode space unicode quotation mark unicode end of text end unicode text end text end define
define tex of var x less one var y as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small l unicode small e unicode apostrophe unicode space unicode number sign unicode two unicode period unicode end of text end unicode text end text end define
define value of var x less one var y as var x is singular select var y tagged guard true else var y is singular select false else var x head select var y head select var x tail less one var y tail else var x tail less one var y tail end select else var y head select var x tail less zero var y tail else var x tail less one var y tail end select end select end select end select end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,