class C
	begin
		int value;
		void increment( int change; )
			begin
				value = value + change;
			end
	end

C c;
c.value = 4;
c.increment( 3 );
printf( "%d\n", c.value );
