use "k3" namespace for the generator copied directives