Constraint von Hand gemacht

ein literaler int-Wert

daraus machen wir eine Konstante static final NonNegativeInt ZERO = new NonNegativeInt( 0 ); ... arrayAccess( 0 ZERO );
Anfang weiter