Another sys/queque.h example
Another sys/queque.h example

Alias analysis can filter out all assertions

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral