removed map_replace(): old data pointer is lost so that it is impossible to free associated resources. Because the use case of this function is very rare I decided to remove the function