define pyk of x head as text unicode start of text unicode asterisk unicode space unicode small h unicode small e unicode small a unicode small d unicode end of text end unicode text end text end define
define tex of x head 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 h unicode end of text end unicode text end text end define
introduce value of var x head as var x tagged retract raw tail raw head end introduce
The pyk compiler, version 0.grue.20050502+ by Klaus Grue,