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

void testIdr() {
    printf("Hello Idris support library!\n");
}