Dynlevies codegen for setlaw target