/* * module_print_list: * * Helper routine for DDB. */