(define-module (a)
  :use-module (srfi srfi-1)
  :export (f))

(define (f x)
  (* x 2))