[DEBUG] add debugging trace