const c = circuit(4);
// 1. distribute two Bell pairs
c.h(0);
c.cx(0, 1);
c.h(2);
c.cx(2, 3);
// 2. bilateral CNOT (Alice and Bob each apply one locally)
c.cx(0, 2);
c.cx(1, 3);
return c;