Data structure verification experiment