e-acsl-segment-model.res.oracle 79 Bytes