annotate Assertions.c++