Dump image w. closures

Apart from other serialization problems, how to serialize closures?
This shouldn't be so difficult:
(let ((a ...)
(b ...))
(lambda (x y z)
...))
The only problem is that environments can be shared, which is not so
easy to fix.