# assert(local=1)
meta verificationDate         g1verificationdate(dataDate, dataTime, endStep) : read_only;
meta monthlyVerificationDate  g1monthlydate(verificationDate) : dump,no_copy;
alias mars.date             = monthlyVerificationDate;

# class e4
# constant six = 6;
alias mars.step = startStep;

alias mars.instrument = instrumentType;
alias mars.ident = satelliteNumber;