wc messages #4042