const active_getterinfo: JSJitInfo;