4.1 not

    if (!c) goto L1;

Transforms to

    if (c) goto L2; 
    goto L1; 
    L2: