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