%description:
tests cStringTokenizer::asIntVector()

%activity:

const char *str = " 34 42 13 10987654321 72 41 ";
std::vector<int> v = cStringTokenizer(str).asIntVector();

%exitcode: 1
%contains: stderr
Converting string to a vector of ints: '10987654321' does not fit into an int