echo generate \"$1\" | hugs -w  mpg.lhs
