Symbol: fdt32_t