Export erase and add some safety assertions