This model is part of the racket distribution, 
in collects/redex/examples/cont-mark-transform
