To run the named-definition case:
Let A be the following steps:
Fire an event named "a".
Run A.
fire an event is a target stub.
To run the inline-definition case:
Let updateDocument be an algorithm step which is to update the document for history step application.
If ready, run updateDocument.
Otherwise, queue a global task, given updateDocument.
update the document for history step application and queue a global task are target stubs.
To run the named-body remainder case:
Let A be the following steps:
Continue these steps.
Fire an event named "inside-a".
Run A.