interface session  { 
      session(int argc, char** argv, char* name = 0);
      
      virtual void prelude();  
      virtual void main();
      int run( );
    protected:
      kit* tk;
    };