I would cast to `pointer` instead of `int` then.

Reply via email to