Instead of ANAND's suggestion to put this function in the `player` API, I feel it belongs in the `boxes` API instead, other than that it's mostly similar to his MR#18.
Instead of ANAND's suggestion to put this function in the `player` API, I feel it belongs in the `boxes` API instead, other than that it's mostly similar to his MR#18.