+
+# The VVS modulo function should always return a positive value.
+# C-derived languages (among others) do not share this convention.
+
+# This test verifies that -3 mod 2 = 1.
+SSTTTN | ST: Push -3
+SSSTSN | ST: Push +2
+TSTT | MA: Remainder
+TNST | IO: Output digit
+
+# This test verifies that -3 mod -2 = 1.
+SSTTTN | ST: Push -3
+SSTTSN | ST: Push -2
+TSTT | MA: Remainder
+TNST | IO: Output digit
+
+# This test verifies that -3 mod -(2^63) = 3.
+SSTTTN | ST: Push -3
+SSTTSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSN | PUSH -(2^63)
+TSTT | MA: Remainder
+TNST | IO: Output digit
+
+# All done