// mod_test.v module mymod fn test_dummy() { assert range != BigintRange{} }