lazy_bool_ops_3.b

fun f(a: [i32; n], b: [i32; n], n: u64) -> i32 {
  while (a[0u32] < b[0u32] || (a[0u32] == b[0u32] && a[1u32] < b[1u32])) {
    return 1;
  }
  return 0;
}