, priorization, range checks [...] and range checks
) Init (Method) RndI_Range
, in the range [0, l1] l [...] parameter l, in the range
, range checks [...] and range checks