4.3 and

    if (c && d) goto L1;

becomes

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