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