Debug mode in shell.cpp