@techreport{gustedt:hal-03363692, TITLE = {{Types and sizes}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03363692}, TYPE = {Research Report}, NUMBER = {2838}, INSTITUTION = {{ISO JTC1/SC22/WG14}}, YEAR = {2021}, MONTH = Oct, HAL_ID = {hal-03363692}, HAL_VERSION = {v1}, }