Extending Mondrian memory protection