\slide{class-session}{The session class}{
  interface session  { 
\fbox{session}
session(int argc, char** argv, char* name = 0); void init(char* fname); virtual void prelude(kit* tk, int argc, char* argv[] ); virtual void main(kit* tk, int argc, char* argv[] ); int run( ); };
}