Email Record: Memory binding for performance optimization of control-flow intensive behavioral descriptions.