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

#include "test_src.h"

#include "check_type.h"

void test_src () {
  check_type_test();
  exit(0);
}