Symbol: mod_sqrt_test