const borderColor_setterinfo: JSJitInfo;