Save the value in the free register in a field of the object that is pointed to by register (free+1).
(Assembly a, int free)
source not stored for this graph (policy: none)
no test coverage detected