Disabled debugging and fixed a splint bug that meant there wasn't enough space in an array.