Transform 'u32' to 'uint32_t' in src/target