Update MMapInterface.v