static O getMutex(O o) {
  ret o;
}