This example modifies a stack to inject a test so that the size of the stack never exceeds a given bound. The bound value is given by an annotation. The injected code is defined in a template.