Added TC_DEN_EVUP_BV_04.

    } // end group getFunctions

    } // end group getFunctions

    group miscellaneousFunctions {

        function f_increaseSequenceNumber(in SequenceNumber p_sequenceNumber) return SequenceNumber {

            // if maximum number of 65535 reached, reset it to 0

            return ((p_sequenceNumber + 1) mod 65536);

        }

        function f_increaseDataVersion(in DataVersion p_dataVersion) return DataVersion {

            // if maximum number of 254 reached, reset it to 0

            return ((p_dataVersion + 1) mod 255);

        }

    } // end group miscellaneousFunctions

} // end LibItsDenm_Functions

} // end LibItsDenm_Functions

 No newline at end of file