Configured with -UDUK_USE_DUKTAPE_BUILTIN \ -DDUK_USE_INTERRUPT_COUNTER \ -DDUK_USE_EXEC_TIMEOUT_CHECK=check_exec_timeout
