let assert_bool msg b =
  if not b then assert_failure msg