Title: Symbolic debugger user's guide