public void m(boolean value) {
  assert value;
}