(TXT) EmbeddedMonotonicCounter.c
 (TXT) EmbeddedMonotonicCounter.inf