added double mutex example