in library, add copyright  (SRFI)