Everything compiles correctly