update mmix syntax