bugfix: stop printing overflow-related debug output to STDOUT; interface with overflow adaptor simplified