Using the EDB-Debugger