define pyk of placeholder-var x end var as text unicode start of text unicode small p unicode small l unicode small a unicode small c unicode small e unicode small h unicode small o unicode small l unicode small d unicode small e unicode small r unicode hyphen unicode small v unicode small a unicode small r unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small v unicode small a unicode small r unicode end of text end unicode text end text end define
define tex of placeholder-var var x end var as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode space unicode underscore unicode left brace unicode capital p unicode small h unicode right brace unicode space unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,