use the new mazurka ast format