We have inserted an item of size val into the x-th bin Toplevel call: Update(1, x, val, 1, n)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected