It might be getting to specific to live in the PDK, we should consider moving the custom Json encoder into the bindgen repo if possible.