Instrumenting getBoxValue