pub type BinaryenIndex = u32;