litmus: show NULL pointers