Successfully translate all code from mlintegr{,-support}.cmm.