public int getMarioStatus() {
   return mario.getStatus();
 }
 public boolean isLevelFinished() {
   return (mario.getStatus() != Mario.STATUS_RUNNING);
 }