Hi logiweb at diku.dk Do not use ':' in pyk definitions. The ':' character has some old semantics, which is not used anymore, but the associated code still exists in the pyk compiler. That will be bugfixed later. Klaus