#include "userinterface.hh"


int main(int argc, char **argv)
{
  UserInterface *ui = new UserInterface(argc, argv) ;
  delete ui ; // We don't need it any more

  return 0 ;
}