Introducing ELF2.0

[The Cuthour]

 > OK, that's a problem, but it's not something obviously solvable simply
 > by link-time arithmetic.

Some things can be resolved at link time, some at runtime
initialization, and some only during compile time. In some
cases, it might even require gathering all source code to
achieve the resolution. What I want to do is to discern
these distinctions.

 >                           A C++ compiler performs tons of
 > optimizations based on its compile-time knowledge of layouts of
 > structs.  These don't necessarily show up in assembly language
 > symbolic expressions at all, never mind in a form that would allow
 > resizing of things.

You are merely stating that access to struct members is
inlined and optimized. To that, I can only respond, "Let's
give up to a certain extent." Structured programming, and
binary tools, are the results of compromises with inlined
functions.