@techreport{douglas:hal-02311462, TITLE = {{Function failure annotation}}, AUTHOR = {Douglas, Niall and Gustedt, Jens}, URL = {https://inria.hal.science/hal-02311462}, TYPE = {Research Report}, NUMBER = {N2429}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2019}, MONTH = Sep, PDF = {https://inria.hal.science/hal-02311462/file/n2429.pdf}, HAL_ID = {hal-02311462}, HAL_VERSION = {v1}, }