Updated hex-t-cpxcmpd.lisp.