checked in samples/ortest-sol.ob.tt.