const borderWidth_setterinfo: JSJitInfo;