apple-0.1.0.0: test/harness/a_harness.c

#include <stdio.h>
#include<string.h>
#include <stdlib.h>

#include"../../include/apple_p.h"

extern U a(U);

int main(int argc, char *argv[]) {
    F xs[] = {1,3,2,5};
    U x;
    V(4,xs,x);
    paf(a(x));
    free(x);
}