Eliminate state variable in version reader