Error: bad argument type - not a structure of the required type u32vector