/* This file is automatically generated by configure.  Do not modify by hand. */
  if (should_init("extend")) shutdown_extend();
  if (should_init("hr_disk")) shutdown_hr_disk();
  if (should_init("ieee802dot11")) shutdown_ieee802dot11();
  if (should_init("sysORTable")) shutdown_sysORTable();
  if (should_init("snmpMPDStats")) shutdown_snmpMPDStats();
  if (should_init("usmStats")) shutdown_usmStats();
  if (should_init("dlmod")) shutdown_dlmod();
  if (should_init("pass_persist")) shutdown_pass_persist();
  if (should_init("ifXTable")) shutdown_ifXTable();
  if (should_init("inetNetToMediaTable")) shutdown_inetNetToMediaTable();
  if (should_init("cpu")) shutdown_cpu();
  if (should_init("ifTable")) shutdown_ifTable();