Data = type {
  version int
  payload [byte]
}

main = fun () {
  data Data = {
    version = 1
    payload = [0 0 0 8]
  }
}