let main = (p: bool, s: unit) => {
  let u: unit = assert(p);
  ([]: list(operation), s);
};