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

meta verificationYear          evaluate(verificationDate/10000);
meta monthlyVerificationYear   evaluate(monthlyVerificationDate/10000);
meta verificationMonth         evaluate( (verificationDate/100)%100 );
meta monthlyVerificationMonth  evaluate( (monthlyVerificationDate/100)%100 );

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

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