add assert() to check