#include "aux_arg.h"

int64_t AuxVar::processedReads = 0;