I wanted to add that it is definitely by design that multiple instances of the same named Procedure can be executed at the same time. If not, then recursive trees or structures can be very painful to write.

The fact that the procedure can be modified while other active instances of that procedure are still running is also by design, especially for adaptive code sets.

I still have never run into an instance where it was necessary for a piece of code to modify itself, but this borders on wild frontiers where code can be made to be self healing and/or self mutating. That is both scary and wonderfully thought-provoking.

I think we are yet only dabbling in the shore-line of an ocean of future possibilities.