array VmIndex [byte; 8];
array FdIndex [byte; 8];

vector FdIndices <FdIndex>;
vector Bytes <byte>;

table Pipe {
  vm: VmIndex,
  read_fd: FdIndex,
  write_fd: FdIndex,
}
vector Pipes <Pipe>;

table Write {
  from: VmIndex,
  from_fd: FdIndex,
  to: VmIndex,
  to_fd: FdIndex,
  data: Bytes,
}
vector Writes <Write>;

table Spawn {
  from: VmIndex,
  child: VmIndex,
  fds: FdIndices,
}
vector Spawns <Spawn>;

table Data {
  spawns: Spawns,
  pipes: Pipes,
  writes: Writes,
}