Symbol: smdb_print_available_types