America/Santa_Isabel America/Santarem America/Santiago America/Santo_Domingo America/Sao_Paulo America/Scoresbysund America/Shiprock America/Sitka America/St_Barthelemy America/St_Johns America/St_Kitts America/St_Lucia America/St_Thomas America/St_Vincent America/Swift_Current America/Tegucigalpa America/Thule America/Thunder_Bay America/Tijuana America/Toronto America/Tortola America/Vancouver America/Virgin America/Whitehorse America/Winnipeg America/Yakutat America/Yellowknife Antarctica/Casey Antarctica/Davis...

pkg encoding/json, type Number string
pkg encoding/xml, const Header = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"
pkg encoding/xml, func EscapeText(io.Writer, []uint8) error
pkg encoding/xml, method (*Encoder) Indent(string, string)
pkg encoding/xml, type Decoder struct, DefaultSpace string
pkg flag, const ContinueOnError = 0
pkg flag, const ExitOnError = 1
pkg flag, const PanicOnError = 2
pkg go/ast, const Bad = 0

			break
		}
		if r.Context == ctxCall2 {
			if r.Name.Go == "_CMalloc" {
				error_(r.Pos(), "no two-result form for C.malloc")
				break
			}
			// Invent new Name for the two-result function.
			n := f.Name["2"+r.Name.Go]
			if n == nil {
				n = new(Name)
				*n = *r.Name
				n.AddError = true
				n.Mangle = "_C2func_" + n.Go

pkg encoding/hex, var ErrLength error
pkg encoding/json, func Compact(*bytes.Buffer, []uint8) error
pkg encoding/json, func HTMLEscape(*bytes.Buffer, []uint8)
pkg encoding/json, func Indent(*bytes.Buffer, []uint8, string, string) error
pkg encoding/json, func Marshal(interface{}) ([]uint8, error)
pkg encoding/json, func MarshalIndent(interface{}, string, string) ([]uint8, error)

of the goroutine executions.
(The proof is the same as Section 7 of Boehm and Adve's paper cited above.)
This property is called DRF-SC.
</p>

<p>
The intent of the formal definition is to match
the DRF-SC guarantee provided to race-free programs
by other languages, including C, C++, Java, JavaScript, Rust, and Swift.
</p>

<p>