re: NULL ptr dereferences found with Calysto static checker