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