# unwind must be >LEN

cbmc --trace --function check check.c --unwind 11 --unwinding-assertions -DCBMC -DLEN=10