another note on debugging scheme