// bar.opt.c
    if (p) {
        do f
        do h
    } else {
        do g
        if (q) {
            do h
        }
    }