CC0: This code is Public Domain.
