Short: Symbolic debugger V2.10 by SLADE software