Denoted variables in Arma.Datum as final