update for current rust, inline pointer()