debugging the ABORT_UNEXPECTED in articles benchmark