public void getHurt() {
    if (world.verbose > 1) System.out.print("[hurt!]");
    damage++;
    // if (deathTime > 0 || world.paused) return;
    if (invulnerableTime > 0) return;

    if (large) {
      world.paused = true;
      powerUpTime = -3 * FractionalPowerUpTime;
      if (fire) {
        setLarge(true, false);
      } else {
        setLarge(false, false);
      }
      invulnerableTime = 32;
    } else {
      die();
    }
  }
  public Mario(LevelScene world) {
    kind = KIND_MARIO;
    // Mario.instance = this;
    this.world = world;
    // keys = Scene.keys;      // SK: in fact, this is already redundant due to using Agent
    // cheatKeys = Scene.keys; // SK: in fact, this is already redundant due to using Agent
    x = 32;
    y = 0;

    facing = 1;
    setLarge(true, true);
  }