#include "dk3all.h"
#include "dk3cores.h"

DK3_MAIN
{
  size_t	x;
  int		src;
  $!trace-init test-cores.deb
  x = dk3cores_get_num(&src);
  printf("Cores: %lu   source: %d\n", (unsigned long)x, src);
  $!trace-end
  exit(0); return 0;
}