Using crash type names rather than bare integers for logging.