46a47,49
>
> // Used by TLM.
> bool elaboration_done();