1  
2  program test.alpha {
3      function main(k: bool) -> bool {
4      	let x: u8 = 1u8;
5        	let x: bool = true;
6      	
7      	return k == true;
8      }}