@techreport{gustedt:hal-03390554, TITLE = {{Only reserve names of optional functions if necessary}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03390554}, TYPE = {Research Report}, NUMBER = {2839}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2021}, MONTH = Oct, PDF = {https://inria.hal.science/hal-03390554/file/n2839.pdf}, HAL_ID = {hal-03390554}, HAL_VERSION = {v1}, }