#include<public_header.h>
#include<stdio.h>

int main(int argc, char **argv) {
    if(public_func() != 42) {
        printf("Something failed.\n");
        return 1;
    }
    return 0;
}