Adding CArmada.h