cur_state is a global, does not have to be passed as a parameter in TestIssuer