Configured with

-UDUK_USE_DUKTAPE_BUILTIN \
-DDUK_USE_INTERRUPT_COUNTER \
-DDUK_USE_EXEC_TIMEOUT_CHECK=check_exec_timeout