(at least not without direct knowledge of the precise behavior of <code>f</code>):
</p>

<pre>
f()
i := *p
*q = 1
</pre>

<p>
If the call never returned, then once again the original program
would never access <code>*p</code> or <code>*q</code>, but the rewritten program would.
And if the call contained synchronizing operations, then the original program

		if f == "" || len(f)%2 != 0 || strings.TrimLeft(f, "0123456789abcdef") != "" {
			return false
		}
	}
	return true
}

// It would be nice if the error messages always began with
// the standard file:line: prefix,
// but that's not where we are today.
// It might be at the beginning but it might be in the middle of the printed instruction.

pkg syscall (netbsd-386), const ETHERTYPE_UBNIU ideal-int
pkg syscall (netbsd-386), const ETHERTYPE_UBNMC ideal-int
pkg syscall (netbsd-386), const ETHERTYPE_VALID ideal-int
pkg syscall (netbsd-386), const ETHERTYPE_VARIAN ideal-int
pkg syscall (netbsd-386), const ETHERTYPE_VAXELN ideal-int
pkg syscall (netbsd-386), const ETHERTYPE_VEECO ideal-int
pkg syscall (netbsd-386), const ETHERTYPE_VEXP ideal-int