/prog/ Challenge 2016

Implement a compile-time garbage collector for an existing^* language, all (also existing^*) implementations of which uses a runtime garbage collector.
The compiler must accept the same set of input programs as the existing^* implementation(s) (of your choice).
The programs output by your compiler must behave identically to the original implementation (modulo memory management) and must be provably memory-leak free. (Demonstrably memory-leak free is acceptable if no submissions are provably so).

You will receive extra points for also implementing compile-time array bounds checking.

You have until 2016-12-31 23:59:59 UTC.

_{* As of 2016-01-16 00:00:00 UTC.}

>>1
I "tried" doing this before but ultimately you can't get past the halting problem. The closest solution is the way Rust does it.

>>4
the OS already does that.