instrumented for bashdb debugger. See README for HOWTO use.