Permission is granted to copy and/or distribute this file, with or
without modifications, provided this notice is preserved.