init a:int = 1 var b = a-- assert( a == 0 ) assert( b == 1 )