1. Analyze integer fields in struct. See for instance Rice/pointer12.c