/* Licensing information can be found at the end of the file. */