Benign-failure function This macro appearing at the beginning of the declaration of a function indicates that it is rarely useful to check its return value. This macro has an empty expansion. It exists for documentation purposes: a #MBEDTLS_CHECK_RETURN_OPTIONAL annotation indicates that the function has been analyzed for return-check usefulness, whereas the lack of an annotation indicates that the function has not been analyzed and its return-check usefulness is unknown.