AMPI: Widen int before casting it to a pointer (silence warning)