Some debugging stuff for sppt