init a:int = 1 + 1 assert( a == 2 )