a small interpreter for MPP