INFERNO 10: Compilation