using assert library