∀ (name processType : String) (isMainThread : Bool) (samples : Lean.Firefox.SamplesTable)
  (markers : Lean.Firefox.RawMarkerTable) (stackTable : Lean.Firefox.StackTable) (frameTable : Lean.Firefox.FrameTable)
  (resourceTable nativeSymbols : Lean.Firefox.ResourceTable) (stringArray : Array String)
  (funcTable : Lean.Firefox.FuncTable),
  sizeOf
      { name := name, processType := processType, isMainThread := isMainThread, samples := samples, markers := markers,
        stackTable := stackTable, frameTable := frameTable, resourceTable := resourceTable,
        nativeSymbols := nativeSymbols, stringArray := stringArray, funcTable := funcTable } =
    1 + sizeOf name + sizeOf processType + sizeOf isMainThread + sizeOf samples + sizeOf markers + sizeOf stackTable +
              sizeOf frameTable +
            sizeOf resourceTable +
          sizeOf nativeSymbols +
        sizeOf stringArray +
      sizeOf funcTable