class Xyz; attribute x; attribute size; someMethod( arg, ... ) { ... assert( arg > x && arg < y ); ... x = ( x * arg ) % size; ... } #### class Xyz; attribute x; attribute size; someMethod( arg, ... ) { ... assert( arg > x && arg < y ); ... self->set_x( ( self->get_x() * arg ) % self->get_size() ); ... }