test.ok_rec_empty.mps 2.05 KB