Re: Re: [PATCH v2 0/2] Fix failure to access u32* argument of tracked function