The allocateStack fixes up ZDefs that are too narrow, so it seems weird that we need that escape hatch.