pkg syscall (darwin-386), const SYS_PSYNCH_RW_UNLOCK = 308
pkg syscall (darwin-386), const SYS_PSYNCH_RW_UNLOCK2 = 309
pkg syscall (darwin-386), const SYS_PSYNCH_RW_UPGRADE = 300
pkg syscall (darwin-386), const SYS_PSYNCH_RW_WRLOCK = 307
pkg syscall (darwin-386), const SYS_PSYNCH_RW_YIELDWRLOCK = 298
pkg syscall (darwin-386), const SYS_PTRACE = 26
pkg syscall (darwin-386), const SYS_PWRITE = 154

pkg syscall (darwin-arm64), const SYS_PSYNCH_RW_UPGRADE = 300
pkg syscall (darwin-arm64), const SYS_PSYNCH_RW_UPGRADE ideal-int
pkg syscall (darwin-arm64), const SYS_PSYNCH_RW_WRLOCK = 307
pkg syscall (darwin-arm64), const SYS_PSYNCH_RW_WRLOCK ideal-int
pkg syscall (darwin-arm64), const SYS_PSYNCH_RW_YIELDWRLOCK = 298
pkg syscall (darwin-arm64), const SYS_PSYNCH_RW_YIELDWRLOCK ideal-int

pkg syscall, type SockaddrUnix struct
pkg syscall, type SockaddrUnix struct, Name string
pkg syscall, type SysProcAttr struct
pkg syscall, type Timespec struct
pkg syscall, type Timeval struct
pkg syscall, var ForkLock sync.RWMutex
pkg syscall, var SocketDisableIPv6 bool
pkg testing, func Benchmark(func(*B)) BenchmarkResult
pkg testing, func Main(func(string, string) (bool, error), []InternalTest, []InternalBenchmark, []InternalExample)

which is sequenced before the <code>print</code>.
</p>

<p class="rule">
For any call to <code>l.RLock</code> on a <code>sync.RWMutex</code> variable <code>l</code>,
there is an <i>n</i> such that the <i>n</i>th call to <code>l.Unlock</code>
is synchronized before the return from <code>l.RLock</code>,
and the matching call to <code>l.RUnlock</code> is synchronized before the return from call <i>n</i>+1 to <code>l.Lock</code>.