rename global_State to ktap_global_state