public void Init() { // FIXME: Here we should add the entries before using them //header = new IndexHeader (entries); stage = (uint) IndexStage.Normal; }