1  
 2  program test.alpha {
 3      struct Foo {
 4          a: u128,
 5          b: u128,
 6      }
 7  
 8      transition main(
 9          i8_value: i8,
10          i16_value: i16,
11          i32_value: i32,
12          i64_value: i64,
13          u8_value: u8,
14          u16_value: u16,
15          u32_value: u32,
16          u64_value: u64,
17      ) -> (field, field, field, field, field, field, field, field, field, field, field, field, field, field, field, ) {
18          let addr_value: address = ax10qerras5799u6k7rjtc9y3hcwxuykr45qra7x7dp6jgnc0923czqm0lgta;
19          let bool_value: bool = true;
20          let field_value: field = 1field;
21  //         let group_value: group = group::GEN;
22          let i128_value: i128 = 1i128;
23          let u128_value: u128 = 1u128;
24          let scalar_value: scalar = 1scalar;
25          // let string_value: string = "helloworld";
26  
27          // BHP1024 commit tests
28          let a: field = BHP1024::commit_to_field(addr_value, 1scalar);
29          let b: field = BHP1024::commit_to_field(bool_value, 1scalar);
30          let c: field = BHP1024::commit_to_field(field_value, 1scalar);
31  //         let d: field = BHP1024::commit_to_field(group_value, 1scalar);
32          let e: field = BHP1024::commit_to_field(i8_value, 1scalar);
33          let f: field = BHP1024::commit_to_field(i16_value, 1scalar);
34          let g: field = BHP1024::commit_to_field(i32_value, 1scalar);
35          let h: field = BHP1024::commit_to_field(i64_value, 1scalar);
36          let i: field = BHP1024::commit_to_field(i128_value, 1scalar);
37          let j: field = BHP1024::commit_to_field(u8_value, 1scalar);
38          let k: field = BHP1024::commit_to_field(u16_value, 1scalar);
39          let l: field = BHP1024::commit_to_field(u32_value, 1scalar);
40          let m: field = BHP1024::commit_to_field(u64_value, 1scalar);
41          let n: field = BHP1024::commit_to_field(u128_value, 1scalar);
42          let o: field = BHP1024::commit_to_field(scalar_value, 1scalar);
43          // let p: field = BHP1024::commit_to_field(string_value, 1scalar);
44          let q: field = BHP1024::commit_to_field(Foo { a: 1u128, b: 2u128 }, 1scalar);
45  
46          return (a, b, c, e, f, g, h, i, j, k, l, m, n, o, q);
47      }}