An ALU that passes its tests.