const vertical_getterinfo: JSJitInfo;