const views_getterinfo: JSJitInfo;