Meins

		for(int i=0; i<m; ++i) {		    if(b[i])			v.addElement(IntThing.create(1));		    else			v.addElement(IntThing.create(0));		}