Symbol: fdt32_st