1  
 2  program test.alpha {
 3  
 4    transition f(a: u64, b: u64) -> Future {
 5      return finish(a, b);
 6    }
 7  
 8    async transition finish(a: u64, b: u64) {
 9      if (b == 0u64) {
10        assert_eq(b, 0u64);
11      } else {
12        assert_eq(a / b, 1u64);
13      }
14    }
15  }