Copying and distribution of this file, with or without modification, are permittedin any medium without royalty provided the copyright notice and this noticeare preserved. This file is offered as-is, without any warranty.