[type(i32)]
