Issue #139: Debug directive