1  
 2  program test.alpha {
 3  
 4      inline foo(x: u32) -> field {
 5          return myGlobal;
 6      }
 7  
 8      transition main() -> field {
 9          let myGlobal = 42field;
10          let err = foo(3u32);
11  
12          return err;
13      }
14  }