If you don't want to use the GC, why the concern about its implementation?

I have no idea what you mean by "proper" compile time functions. D's CTFE is excellent.