provide for json encoding in generated code