Replace structures attempting to provide C type safety with CARD32 typedefs