Netlist: Checkpoint. Every object has a name