Symbol: ino32_t