MSP: A converter from Paixao/Santos' format