use nlz import syntax for assert