Maybe these mutable variables could have an "value" like `"<mutable>"` or something?