Description of widen.scm