Use 0xcc (not 0xcd) for clearing malloc() blocks too.
[pintos-anon] / grading / threads / priority-preempt.exp
2004-10-17 Ben PfaffWork on grading.