Fix counter-value deftype on non-x86oid SBCL.
improve backtrace during tests
version 2.7.3