Reworking after run through with Paolo.
[libguestfs-talks.git] / 2020-frama-c / 2830-range-init-spec-2.html