This code does not belong in this library.