pub type SFVM_MESSAGE_ID = i32;