1  
 2  program test.alpha {
 3      struct Foo {
 4          a: u16,
 5          b: u16,
 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      ) -> (scalar, scalar, scalar, scalar, scalar, scalar, scalar, scalar, scalar, scalar, scalar, scalar, ) {
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 scalar_value: scalar = 1scalar;
23          // let string_value: string = "helloworld";
24  
25          // Pedersen64 hash_to_scalar tests
26          let a: scalar = Pedersen64::hash_to_scalar(bool_value);
27          let b: scalar = Pedersen64::hash_to_scalar(bool_value);
28          let c: scalar = Pedersen64::hash_to_scalar(bool_value);
29          let d: scalar = Pedersen64::hash_to_scalar(bool_value);
30          let e: scalar = Pedersen64::hash_to_scalar(i8_value);
31          let f: scalar = Pedersen64::hash_to_scalar(i16_value);
32          let g: scalar = Pedersen64::hash_to_scalar(i32_value);
33          let i: scalar = Pedersen64::hash_to_scalar(u8_value);
34          let j: scalar = Pedersen64::hash_to_scalar(u16_value);
35          let k: scalar = Pedersen64::hash_to_scalar(u32_value);
36          let m: scalar = Pedersen64::hash_to_scalar(bool_value);
37          // let j11: scalar = Pedersen64::hash_to_scalar(string_value);
38          let n: scalar = Pedersen64::hash_to_scalar(bool_value);
39  
40          return (a, b, c, d, e, f, g, i, j, k, m, n);
41      }
42  }