/* Advance a pointer num_times times. Notice, this does no checking, so you better know what YOU ARE DOING!!!! */