# this module is part of tstdlib_name_not_special
doAssert true