First rudimentary test (no correctness asserted yet).