pub type SERVERSILO_STATE = i32;