Merge commit 'bba5ffb847d10a65ce323f3c607f9f842c21e0c1' * commit 'bba5ffb847d10a65ce323f3c607f9f842c21e0c1': Add a new program for checking the correctness of the computed stack from a trace.
Merge commit 'bba5ffb847d10a65ce323f3c607f9f842c21e0c1' * commit 'bba5ffb847d10a65ce323f3c607f9f842c21e0c1': Add a new program for checking the correctness of the computed stack from a trace.