[cormacrelf]

Ah, the question is whether Darwin enforces W^X, because if so, the problem becomes very easy. Then you re-translate whenever a page becomes executable [again].

[my123]

On Arm 64-bit Darwin, W^X is enforced at all times.