const ontimeout_setterinfo: JSJitInfo;