import tarau.jinni.*;

/**
   Minimal command line only Jinni main entry point
*/
public class JinniMain {
  public static int init() {
    if(!Init.startJinni()) return 0;
    Init.builtinDict=new Builtins();
    Init.askJinni("reconsult('tarau/jinni/lib.pro')");
    return 1;
  }

  public static void main (String args[]) { 
    if(0==init()) return;
    if(!Init.run(args)) return;
    Init.standardTop(); // interactive
  } 
}