Template:c/program/dsc setjmp