SPL Debug: just another SPL hacker