rip out SYMBOLIC and add verbose tracing