debugging mario.cpp