let skip_if b msg =
  if b then
    raise (Skip msg)