add assert()