Fun fact, I asked Armin Preiml to implement AES/XTS in the Hare standard library's cryptography suite specifically for this purpose back in January '22