tests.c - correct small error.
tests.c - add an unimplemented specification.
uCSpec - update doxygen comments.
uCSpec - intermediate 1.
uCSpec - intermediate 2.
tests.c - remove semicolons after IT().