module AddLocalDecl7 where toplevel :: Integer -> Integer toplevel x = c * x where nn = nn2 -- c,d :: Integer c = 7 d = 9