| 1 | /** This is free and unencumbered software released into the public domain. |
| 2 | The authors of ISIS do not claim copyright on the contents of this file. |
| 3 | For more details about the LICENSE terms and the AUTHORS, you will |
| 4 | find files of those names at the top level of this repository. **/ |