276   size_t      len, blen, rd;  in PetscBoxUpload()  local
290     len = 1024 + sb.st_size;  in PetscBoxUpload()
291     PetscCall(PetscMalloc1(len, &body));  in PetscBoxUpload()
296                            len));  in PetscBoxUpload()
297     PetscCall(PetscPushJSONValue(body, "title", filename, len));  in PetscBoxUpload()
298     PetscCall(PetscStrlcat(body, ",", len));  in PetscBoxUpload()
299     PetscCall(PetscPushJSONValue(body, "mimeType", "text.html", len));  in PetscBoxUpload()
300     PetscCall(PetscStrlcat(body, ",", len));  in PetscBoxUpload()
301     PetscCall(PetscPushJSONValue(body, "description", "a file", len));  in PetscBoxUpload()
306                            len));  in PetscBoxUpload()
317                            len));  in PetscBoxUpload()