And-inverter_graph loading ...