interface Drop

data Guard { id: i64 }

// the body of `drop` has no effects: it cannot print or call the network
impl Drop for Guard {
  var fn drop() {
    let released = self.id
  }
}