Formulae for building the DaZeus IRC Core bot