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 comp

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.