define pyk of 01//02 as text unicode start of text unicode zero unicode one unicode slash unicode slash unicode zero unicode two unicode end of text end unicode text end text end define
define tex of 01//02 as text unicode start of text unicode zero unicode one unicode slash unicode slash unicode zero unicode two unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,