#include <stdio.h>
#include "pr12942a.h"

test_t b(void);

int
main(void)
{
  if (test != b ())
    __builtin_abort ();

  printf ("OK\n");
  return 0;
}