/* $begin deref */ /* Dereference pointer or return 0 if null */ long deref(long *xp) { return xp ? *xp : 0; } /* $end deref */