const borderImageWidth_setterinfo: JSJitInfo;