debugging Mario.cpp