const vertical_setterinfo: JSJitInfo;