fuproof-mit5871 version 2