improved stack frame macros for runtime checks, fixed fpu stack bug in evelopes_process