#cs(module convert mzscheme
  (require (lib "convert.ss" "htdp"))
  (provide (all-from (lib "convert.ss" "htdp"))))