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