0 /* input to protocol (from below) */