(Also, the empty string could be `"<mutable>" as above.)