* dbxout.c (output_types_sort): Add a comment.