1#include <assert.h>2 3int main() {4 int a = 42;5 assert(a == 42);6 a--;7 assert(a == 42);8 return 0;9}10