I attach the exported Arduino.mm file too again: