PetscErrorCode PetscPushJSONValue(char buff[],const char key[],const char value[],size_t bufflen)
| buffer | - the char array where the value will be put | |
| key | - the key value to be set | |
| value | - the value associated with the key | |
| bufflen | - the size of the buffer (currently ignored) |