SVAL debugging