 for (i = 0; i < 4; ++i) { assert( self->magic[i] == JAM_STRING_MAGIC ); assert( self->value[self->capacity + i] == JAM_STRING_MAGIC ); } 
static void assert_invariants( string* self ){    assert( self->size < self->capacity );    assert( ( self->capacity <= sizeof(self->opt) ) == ( self->value == self->opt ) );    assert( strlen( self->value ) == self->size );}
2658	/local/tlutelli/issta_data/temp/c/2005_temp/2005/2658/de59a71012c6325adb40e6770bd1647db934536c/strings.c/buggy/historic/jam/src/strings.c