dyncom: Implement UMAAL