Jessie Plugin returns an error. Code with struct-statement, cannot be compiled. (#2181) · Issues · pub / frama-c