1Copying and distribution of this file, with or without modification, 2are permitted in any medium without royalty provided the copyright 3notice and this notice are preserved. This file is offered as-is, 4without any warranty. 5