const dw = 8;          /* Width of incoming data    */
const nw = 4;          /* 2 ^ nw = Number of inputs */
const rw = dw + nw;    /* Width of the result       */

void main(chan (in)  STDIN  : dw,
          chan (out) STDOUT : rw)
{
    int data        : dw;
    int accumulator : rw;
    int counter     : nw;

    accumulator, counter = 0, 0;
    
    do {
        STDIN ? data;
        accumulator = accumulator + (0 @ data);
        counter = counter + 1;
    } while (counter != 0);

    STDOUT ! accumulator;
}