Constant TEEC_ERROR_BAD_STATE 

pub const TEEC_ERROR_BAD_STATE: u32 = 0xFFFF0007;