add debugging output for safe blocks