int port, String[] eventNames, boolean verbose, String generalInfo) {   if (DEBUG_) { Log.writeln("-- Initialising main server on port ",port); } VM_Address tmp = Util.getBytes(name); server_ = VM_SysCall.gcspyMainServerInit(port, MAX_LEN, tmp, verbose ? 1 : 0); if (DEBUG_) { Log.writeln("gcspy_main_server_t address = "); Log.write(server_); Log.write('\n'); } Util.free(tmp);   tmp = Util.getBytes(generalInfo); VM_SysCall.gcspyMainServerSetGeneralInfo(server_, tmp); Util.free(tmp);   for (int ev = 0; ev < eventNames.length; ev++) { tmp = Util.getBytes(eventNames[ev]); VM_SysCall.gcspyMainServerAddEvent(server_, ev, tmp); Util.free(tmp); } }
int port, String[] eventNames, boolean verbose, String generalInfo) {}
  public static void init (String name,  		           int port,		           String[] eventNames,		           boolean verbose,		           String generalInfo) {    // Initialise the server    if (DEBUG_) {      Log.writeln("-- Initialising main server on port ",port);    }    VM_Address tmp = Util.getBytes(name);    server_ = VM_SysCall.gcspyMainServerInit(port, MAX_LEN, tmp, verbose ? 1 : 0);    if (DEBUG_) {      Log.writeln("gcspy_main_server_t address = ");      Log.write(server_);      Log.write('\n');    }    Util.free(tmp);    // Set the general info    tmp = Util.getBytes(generalInfo);    VM_SysCall.gcspyMainServerSetGeneralInfo(server_, tmp);    Util.free(tmp);    // Add each event    for (int ev = 0; ev < eventNames.length; ev++) {      tmp = Util.getBytes(eventNames[ev]);      VM_SysCall.gcspyMainServerAddEvent(server_, ev, tmp);      Util.free(tmp);    }  }