diff --git a/collects/tests/mred/media6.mre b/collects/tests/mred/media6.mre
index 16b752b0..5712a022 100644
Binary files a/collects/tests/mred/media6.mre and b/collects/tests/mred/media6.mre differ
diff --git a/collects/tests/mred/prog.mre b/collects/tests/mred/prog.mre
new file mode 100644
index 00000000..e67250dd
Binary files /dev/null and b/collects/tests/mred/prog.mre differ