rewrite let; add semicolon to top-levels