Checkpoint; compiles.