Re: How to retrieve pointer arguments' value