checkpoint -- does not compile