S4: debugging