Notes on PetaJsonEmit