public void markIO (Circuit c, int[] tsize) {
        tsize[0] = 0;
        tsize[1] = 0;

        // scan through all format object for input objects
        for (int i = 0; i < FMT.size(); i++) {

            IO io = FMT.elementAt(i);

            // mark all input/output wires
            for (int j = 0; j < io.getNLines(); j++) {
                int line_num = io.getLinenum(j);
                Gate g = c.getGate(line_num);
                g.markAliceBob (io.isAlice());
                if (g.isBobInput())  tsize[0] += g.gmeasureInpPayload();
                if (g.isBobOutput()) tsize[1] += g.gmeasureOutPayload();
		    }
		}
    }