protected from dereferencing of empty pointer