∀ (spawnArgs : IO.Process.SpawnArgs) (exitCode : UInt32) (stdout stderr : String),
  sizeOf { spawnArgs := spawnArgs, exitCode := exitCode, stdout := stdout, stderr := stderr } =
    1 + sizeOf spawnArgs + sizeOf exitCode + sizeOf stdout + sizeOf stderr