mscoree: Print the correct values in a TRACE.