On entry *f must be the function value of w On exit w is updated and *f is the new function value
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected