#include "testlib.h"

using namespace std;

int MAX = 50;

int main(int argc, char* argv[])
{
    registerValidation(argc, argv);

    int a = inf.readInt(0, MAX, "a_i");
    inf.readSpace();
    int b = inf.readInt(0, MAX, "b_i");
    inf.readSpace();
    int c = inf.readInt(0, MAX, "c_i");
    inf.readEoln();

    inf.readEof();
    return 42;
}