Compile a 7.3 function into a 7.1