24.08

Fixes two cases where the tutorial was not compliant with VeriFast's new checks for compliance with C's effective types rules when accessing variables of pointer type (see verifast/verifast#542).