blob: 37cb6341a9d8bb1c328fe264c23ddff139fe9c48 [file] [edit]
bool device_available();
int mixed_value();
int mixed_kernel();
int main()
{
if (!device_available()) {
return 77;
}
return mixed_value() == 46 && mixed_kernel() == 42 ? 0 : 1;
}