Changed mem_space_map from "list option" to "list". No need for
option type here, as we can just use the empty list.