Constant TEEC_CONFIG_PAYLOAD_REF_COUNT 

pub const TEEC_CONFIG_PAYLOAD_REF_COUNT: u32 = 4;