A pdf to explain the assertion in C