init var a = 10 if a <= 10 assert( a <= 10 ) else assert_not_reached()