Change from vector to int for compatibility with old gcc :(