built-in function assert
import library