int main () {
  if (true) {

  }
  /* *INDENT-OFF* */
  D();
  /* *INDENT-ON* */
}