// S : tags   min c++
// S : expect --result valid
// S : cc     -o test.bc $file
// S : verify --stdin $dir/stdin.txt -o nofail:malloc test.bc

#include <iostream>
#include <cassert>

int main()
{
    int x, y, z;
    std::cin >> x >> y >> z;
    assert( std::cin.good() );
    assert( x == 42 );
    assert( y == 16 );
    assert( z == -4 );
}