Add MMapInterface.v