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