define pyk of x tagged equal x as text unicode start of text unicode asterisk unicode space unicode small t unicode small a unicode small g unicode small g unicode small e unicode small d unicode space unicode small e unicode small q unicode small u unicode small a unicode small l unicode space unicode asterisk unicode end of text end unicode text end text end define
define tex of x tagged equal x as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small a unicode small p unicode small p unicode small r unicode small o unicode small x unicode space unicode number sign unicode two unicode period unicode end of text end unicode text end text end define
introduce value of var x tagged equal var y as var x is data select tagged if var y is data then var x data equal var y else false end if else tagged if var y is data then false else true end if end select end introduce
The pyk compiler, version 0.grue.20060417 by Klaus Grue,