could also mention `RcMut` here