pub type SE_ADT_PARAMETER_TYPE = i32;