Marshall for a VOID__INT_POINTER