They are: there are other functions with the same names (but different types) defined below, so these ones weren't used at all.