Assertions and thus also testing of void functions