Don't worry, it pretty much isn't possible to do so without semantics which will basically make your program "drift" during run-time away from what a newly compiled program would do.

EDIT: Assuming inlining and call-by-value struct is a possibility.