#include <stdio.h>
#include <dns/version.h>
int main(void) { printf("%d\n", dns_libinterface); return 0; }