The push pin (or pull pin) is the piece that secures the bolt to the back block.  The older kind were pull pins, that had ball bearings in it to keep them in.  The newer kind are pull pins.  Here, the detent is in the bolt (evolution style) and the pin can just be pulled out.