Figure: Debug session initialization. (Not available in ASCII version of this document.)