// © 2016 and later: Unicode, Inc. and others.
// License & terms of use: http://www.unicode.org/copyright.html

// This is a source file with no changes needed in it.
// In fact, the only non-ASCII character is the comment line at top.