ASSERT (phase == 1);
ASSERT (phase == 0);
    public Object getInitFunctionStage (int phase)    {        // library has only one phase!        ASSERT (phase == 1);                // just return null        // it doesn't matter what gets returned, because init        // functions do not access the tape in the library        return null;    }