define pyk of tagging x as text unicode start of text unicode small t unicode small a unicode small g unicode small g unicode small i unicode small n unicode small g unicode space unicode asterisk unicode end of text end unicode text end text end define
define tex of tagging x as text unicode start of text unicode newline unicode backslash unicode capital l unicode small a unicode small m unicode small b unicode small d unicode small a unicode space unicode number sign unicode one unicode period unicode end of text end unicode text end text end define
introduce value of tagging var x as map tag lambda var u dot map untag var x apply map tag var u end tag end untag end tag end introduce
The pyk compiler, version 0.grue.20050502+ by Klaus Grue,