The original, un-anonymized, version of this code is subject to copyright and
is covered by an Apache 2.0 license.
