Cfg is implemented but segfaulting.