Checkpoint: compiles ok