/\* See LICENSE for licensing and NOTICE for copyright. \*/
