IPR: compiles