The copyright holder gives unlimited permission to copy, distribute and modify
this file.
