error: add assert()