An example
•Query about the cur_veh field of map_manager_global
•Shaded ovals are functions extracting fields from the global
•Unshaded ovals pass pointers to the structure but don’t manipulate it
•Edges between ovals are calls
•Rectangles are globals
•Edges to rectangles are variable accesses