Spec LLVM Assurances