s4-debug: removed debug_ctx(). It didn't catch on :-)