programs can be debugged.