embedded.c: Fixed loop counters
embedded.c: Added assertions.