Add "assert" function.

Now, let's think about some tests.