let empty =
  {
    over_inputs = Zone.bottom;
    under_outputs = Zone.bottom;
  }