Add dereferencing_pointers