John_Hopcroft loading ...