#include <simple.h>

int main(int argc, char *argv[])
{
  return simple_function() == 42 ? 0 : 1;
}