define pyk of x setequiv x as text unicode start of text unicode quotation mark unicode space unicode small s unicode small e unicode small t unicode small e unicode small q unicode small u unicode small i unicode small v unicode space unicode quotation mark unicode end of text end unicode text end text end define
define tex of var y setequiv var b as text unicode start of text unicode number sign unicode one unicode period unicode space unicode backslash unicode small e unicode small q unicode small u unicode small i unicode small v unicode space unicode number sign unicode two unicode period unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,