Debug readState().

Replace the constant "4" by the mvar.