Assert.h: we don't need to add a newline for puts