add mmix syntax