Definition:
(defconst *atc-uaconvert-values-rules* '(uaconvert-values-when-scharp-and-scharp uaconvert-values-when-scharp-and-ucharp uaconvert-values-when-scharp-and-sshortp uaconvert-values-when-scharp-and-ushortp uaconvert-values-when-scharp-and-sintp uaconvert-values-when-scharp-and-uintp uaconvert-values-when-scharp-and-slongp uaconvert-values-when-scharp-and-ulongp uaconvert-values-when-scharp-and-sllongp uaconvert-values-when-scharp-and-ullongp uaconvert-values-when-ucharp-and-scharp uaconvert-values-when-ucharp-and-ucharp uaconvert-values-when-ucharp-and-sshortp uaconvert-values-when-ucharp-and-ushortp uaconvert-values-when-ucharp-and-sintp uaconvert-values-when-ucharp-and-uintp uaconvert-values-when-ucharp-and-slongp uaconvert-values-when-ucharp-and-ulongp uaconvert-values-when-ucharp-and-sllongp uaconvert-values-when-ucharp-and-ullongp uaconvert-values-when-sshortp-and-scharp uaconvert-values-when-sshortp-and-ucharp uaconvert-values-when-sshortp-and-sshortp uaconvert-values-when-sshortp-and-ushortp uaconvert-values-when-sshortp-and-sintp uaconvert-values-when-sshortp-and-uintp uaconvert-values-when-sshortp-and-slongp uaconvert-values-when-sshortp-and-ulongp uaconvert-values-when-sshortp-and-sllongp uaconvert-values-when-sshortp-and-ullongp uaconvert-values-when-ushortp-and-scharp uaconvert-values-when-ushortp-and-ucharp uaconvert-values-when-ushortp-and-sshortp uaconvert-values-when-ushortp-and-ushortp uaconvert-values-when-ushortp-and-sintp uaconvert-values-when-ushortp-and-uintp uaconvert-values-when-ushortp-and-slongp uaconvert-values-when-ushortp-and-ulongp uaconvert-values-when-ushortp-and-sllongp uaconvert-values-when-ushortp-and-ullongp uaconvert-values-when-sintp-and-scharp uaconvert-values-when-sintp-and-ucharp uaconvert-values-when-sintp-and-sshortp uaconvert-values-when-sintp-and-ushortp uaconvert-values-when-sintp-and-sintp uaconvert-values-when-sintp-and-uintp uaconvert-values-when-sintp-and-slongp uaconvert-values-when-sintp-and-ulongp uaconvert-values-when-sintp-and-sllongp uaconvert-values-when-sintp-and-ullongp uaconvert-values-when-uintp-and-scharp uaconvert-values-when-uintp-and-ucharp uaconvert-values-when-uintp-and-sshortp uaconvert-values-when-uintp-and-ushortp uaconvert-values-when-uintp-and-sintp uaconvert-values-when-uintp-and-uintp uaconvert-values-when-uintp-and-slongp uaconvert-values-when-uintp-and-ulongp uaconvert-values-when-uintp-and-sllongp uaconvert-values-when-uintp-and-ullongp uaconvert-values-when-slongp-and-scharp uaconvert-values-when-slongp-and-ucharp uaconvert-values-when-slongp-and-sshortp uaconvert-values-when-slongp-and-ushortp uaconvert-values-when-slongp-and-sintp uaconvert-values-when-slongp-and-uintp uaconvert-values-when-slongp-and-slongp uaconvert-values-when-slongp-and-ulongp uaconvert-values-when-slongp-and-sllongp uaconvert-values-when-slongp-and-ullongp uaconvert-values-when-ulongp-and-scharp uaconvert-values-when-ulongp-and-ucharp uaconvert-values-when-ulongp-and-sshortp uaconvert-values-when-ulongp-and-ushortp uaconvert-values-when-ulongp-and-sintp uaconvert-values-when-ulongp-and-uintp uaconvert-values-when-ulongp-and-slongp uaconvert-values-when-ulongp-and-ulongp uaconvert-values-when-ulongp-and-sllongp uaconvert-values-when-ulongp-and-ullongp uaconvert-values-when-sllongp-and-scharp uaconvert-values-when-sllongp-and-ucharp uaconvert-values-when-sllongp-and-sshortp uaconvert-values-when-sllongp-and-ushortp uaconvert-values-when-sllongp-and-sintp uaconvert-values-when-sllongp-and-uintp uaconvert-values-when-sllongp-and-slongp uaconvert-values-when-sllongp-and-ulongp uaconvert-values-when-sllongp-and-sllongp uaconvert-values-when-sllongp-and-ullongp uaconvert-values-when-ullongp-and-scharp uaconvert-values-when-ullongp-and-ucharp uaconvert-values-when-ullongp-and-sshortp uaconvert-values-when-ullongp-and-ushortp uaconvert-values-when-ullongp-and-sintp uaconvert-values-when-ullongp-and-uintp uaconvert-values-when-ullongp-and-slongp uaconvert-values-when-ullongp-and-ulongp uaconvert-values-when-ullongp-and-sllongp uaconvert-values-when-ullongp-and-ullongp))