> Interesting. We probably shouldn't have two ways of telling codegen to > not use a redzone. Eric, any thought on it? To be clear, maybe we should just delete DisableRedZone and update the tests that use it to have the attribute? Cheers, Rafael