Copying and distribution of this file, with or without modification,
are permitted provided the copyright notice and this notice are preserved.
Copying and distribution of this file, with or without modification,
are permitted provided the copyright notice and this notice are preserved.