pub type R = R<TERMINATE_STATE_SPEC>;
Register terminate_state reader
terminate_state
struct R { /* private fields */ }