WIP: denodeifyExec