debug information for ErrorCoder