const borderStyle_setterinfo: JSJitInfo;