New formula for The BASH Debugger (4.2-0.8)