val timestamp_len : Prims.int
let timestamp_len = 8
module Zeta.Steel.IV
open Zeta.Steel.LogEntry.Spec
open Zeta.Steel.LogEntry
open Zeta.Steel.Parser
open Steel.ST.Util
open Zeta.Steel.Util
module A = Steel.ST.Array
module U32 = FStar.UInt32
/
Zeta.Steel.Util.fst.checked Zeta.Steel.Parser.fst.checked Zeta.Steel.LogEntry.Spec.fsti.checked Zeta.Steel.LogEntry.fsti.checked Steel.ST.Util.fsti.checked Steel.ST.Array.fsti.checked prims.fst.checked FStar.UInt8.fsti.checked FStar.UInt32.fsti.checked FStar.SizeT.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked FStar.Ghost.fsti.checked
Zeta.Steel.IV.fst
Prims.int
let timestamp_len =
  
8