The bad_alloc IRC bot, yet to be named