rem: e.channel.removeUser(e.user.nick); 
add: e.channel.removeUser(e.user.encodedName); 
context: function serv_part (e){    e.channel = new CIRCChannel (this, e.params[1]);    e.reason = (e.params.length > 2) ? e.decodeParam(2, e.channel) : "";    e.user = new CIRCChanUser (e.channel, e.user.nick);    if (userIsMe(e.user))    {        e.channel.active = false;        e.channel.joined = false;    }    e.channel.removeUser(e.user.nick);    e.destObject = e.channel;    e.set = "channel";    return true;}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/c6101b49aef97cf47069c333c0e54bcdd4a66616/irc.js/buggy/js/lib/irc.js