public int getInitialValue() {
    throw_exception();
    if (test_index>=test_network.test_numProposers)
      throw new Error("Non-proposers should not be asking for initial value");
    if(init_logic==1)
      return test_index*(-1);
    if(init_logic==2)
      return test_index-5;
    if(init_logic==3)
      return test_index*5;
    if(init_logic==4)
      return Integer.MAX_VALUE-test_index;
    if(init_logic==5)
      return Integer.MIN_VALUE+test_index;
    return test_index;
  }