Constant TEE_ERROR_BAD_FORMAT 

pub const TEE_ERROR_BAD_FORMAT: u32 = 4294901765;