This code should include a copyright and license header appropriate to the license.