pub type SynchronizedInputType = i32;