updated argregator.h definitions