ASSERT (phase == 1);
ASSERT (phase == 0);
    public int getInitPopStage (int phase)    {        // library has only one phase!        ASSERT (phase == 1);                // library doesn't access the tape in init        return 0;    }