simple assert() usage