REX
The original name for
Restructured EXtended eXecutor
.