public static int bgl_dload( byte[] filename, byte[] init_sym, byte[] mod_sym ) { return bigloo.dlopen.dload( filename, init_sym, mod_sym ); }