Snippets for cbmc 6.11.0 from Nix aarch64-linux

Sourced from https://hydra.nixos.org/log/14cc1vssrhshl2kn3s1amvx32nm6pg08-cbmc-6.11.0.drv.