public join() as Void:
Waits for completion.
With the current logical execution model, this is a safe no-op when already terminated.