I hope this compiles.