This code is published under the CC0 license.
