WIP: Debugging v3c