Implement Red Zone utilization on x86-64. This is currently