memory programs: 1805 checks passed in 0.5s (200 random programs, 4 buffers each, C vs interpreter in two orders, original and simplified)
