Falsehoods programmers believe about null pointers