Linear search will probably be (in practice) faster here.