memory leak when memory limit hit

I have drracket set to have a 512MB memory limit. If I start drracket and enter this program:

#lang racket
(let loop ([x empty])
  (loop (cons x x)))

The memory indicator says I ame using ~400 MB of memory.

When I run this program until i get the "out of memory error" the memory usage indicator now says ~1100 MB. If i repeat this process each time a few hundred MB is added. But if I click on the memory count to trigger a major GC the memory count says well above 1100MB. (for example when at ~5000MB a major GC only brings it down to ~3000MB). Causing three successive major GC's doesn't change the result.

Start by reproducing the issue in DrRacket with a 512MB limit and the recursive cons program shown in the report. Observe the memory indicator after out-of-memory errors and successive major GCs; done means the reported memory behavior is understood and the indicator no longer accumulates unexplained usage.