In theory, given the attribute, and macro system, it should be possible to implement this as a library in the language, correct? I think that is vastly preferre

In theory, given the attribute, and macro system, it should be possible to implement this as a library in the language, correct? I think that is vastly preferred over a constant runtime always hanging around.