public String toString() {
   synchronized (mutex) {
     return m.toString();
   }
 }