Implementation

• All code from functions like Create is moved to the constructor of the class.
• All code from functions like Terminate is moved to the destructor of the class.
• Code like

      WITH S^ DO
          :
      END
  

  is not needed; member variables are always directly accessible.