Properly compiles