integer quantities, defined either in a class definition or as stand-alone variables in some lexical scope, can be assigned random values based on a set of constraints. this feature is useful for creating randomized scenarios for verification.