#
# Copying and distribution of this file, with or without modification, are
# permitted in any medium without royalty provided the copyright notice
#
# Copying and distribution of this file, with or without modification, are
# permitted in any medium without royalty provided the copyright notice