define pyk of x is data as text unicode start of text unicode asterisk unicode space unicode small i unicode small s unicode space unicode small d unicode small a unicode small t unicode small a unicode end of text end unicode text end text end define
define tex of x is data as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode left brace unicode right brace unicode circumflex unicode small d unicode end of text end unicode text end text end define
introduce value of var x is data as var x tagged retract raw head raw tail raw head boolean retract end introduce
The pyk compiler, version 0.grue.20050502+ by Klaus Grue,