pub type TERMINAL_STATE = i32;