1  
 2  let x: u32 = 0;
 3  
 4  function foo() {}
 5  
 6  async function foo() {}
 7  
 8  transition foo() {}
 9  
10  async transition foo() {}
11  
12  record Foo {}
13  
14  mapping Map
15  
16  program foo.alpha {}
17  
18  {