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