Everything compiles, seems correct.