pub const TEE_ALG_RSASSA_PKCS1_V1_5_SHA1: u32 = 1879058480;