Should we print out an error message in this case (and around line 104)? Do we know what is wrong if the pointer is null, or is this a normal state of affairs in some state?