Modeling Register Pairs in CompCert. - Alexander Loitzl; Florian Zuleger (IFM, 2024)