Symbol: CTIO_A64_TYPE