Trail of Bits16PRs merged9Internal authors@thomas-chauchefoin-tob@mschwager@maxammann@kevin-valerio@fcasal@elopez@arcz@Vasco-jofra@GrosQuildu