#include <os.h>
#include <lauxlib.h>
#include "giac.h"
#include "luabridge.h"

using namespace giac;
//const char std::endl='\n';
//nio::console * std::console_cin_ptr=0;
using namespace std;

const char * giac_caseval(const char * s){
  vx_var=identificateur("x");
  //static nio::console console_cin;
  //console_cin_ptr=&console_cin;
  giac::debug_infolevel=2;
  const char * res=giac::caseval(s);
  return res;
}