segfault in red-black?