Debug traces now print message names rather than numbers.