define pyk of x is cardinal as text unicode start of text unicode asterisk unicode space unicode small i unicode small s unicode space unicode small c unicode small a unicode small r unicode small d unicode small i unicode small n unicode small a unicode small l unicode end of text end unicode text end text end define
define tex of x is cardinal 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 c unicode end of text end unicode text end text end define
introduce value of var x is cardinal as if var x then false else var x tagged retract raw head boolean retract end if end introduce
The pyk compiler, version 0.grue.20050502+ by Klaus Grue,