modified:   zkdef.lua