function main(a: bool, b: bool) -> bool {
  return a || b
}