COMMENT Permission to copy and distribute both modified and
COMMENT unmodified versions is granted without royalty provided this
COMMENT notice is preserved.
COMMENT Permission to copy and distribute both modified and
COMMENT unmodified versions is granted without royalty provided this
COMMENT notice is preserved.