Reverse Macro-Expansion

Is there a way to get macro back from its expanded form?

For examble, can we reconstruct LOOP back from gotoes and labels?

>>7
Instead of ``any'', I should have said every. That is, we're good at finding solutions to particular problems, but we can't find solutions to all the problems.
>>8
In >>6, I say:
thus you should ask only for the shortest program. It becomes a problem of compression, and thus >>3's answer.