1  
2  program test.alpha {
3      transition main(a: u128, b: u128) -> bool {
4          let ret: bool = a == b;
5          assert(ret);
6          return ret;
7      }
8  }