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