e9c9c7356f475db457db02500689fcd16e3c6ac8 we have #1886 so this can be just to track updating the pointer to the flash-infer we used