When I was a child, we called these "auto sears"...

At least I think they are the same/similar thing...