Package arithtest Import "arithmetic". Execute Writeln["inc[1,1,1,1,1] = ", $(inc[1,1,1,1,1])]. Writeln["inc[0,1,0,1,0] = ", $(inc[0,1,0,1,0])]. %% ***** Add more tests %Execute %Package