struct_initialized.e-acsl.err.log 0 Bytes