/*****
     tbasic.java
***/

import java.io.*;
import java.util.*;

import net.deterlab.abac.*;

public class tbasic {

    static {
        System.loadLibrary("jABAC");
    }

    public static void main(String[] args) throws IOException {
        System.out.println("called main from tbasic.java");

Context ctxt=new Context(); 
/*        ctxt.dump_yap_db(); */  

ctxt.free_context_now();
        System.out.println("done called main from tbasic.java");
    }
}