It compiles (for now)