const timeout_getterinfo: JSJitInfo;