And this function is still tested, and you removed `@tested` flag. :(