debugging commands and debugging methods