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

#include "generated_header2.htest"

int main(int argc, char *argv[])
{
    printf("%d", func2());
}