/*
 * test.c - figure out if a 64-bit type is available
 *
 * This file is automatically generated by Configure
 * from test_c.in.
 */

#include <stdio.h>

int main(int argc, char **argv) {
	@int8_t@ dummy;

	printf("(");

	printf("\thugeintval => '%s',\n", 	"@int8_t@");
	printf("\thugeintvalsize => %d,\n",	sizeof(@int8_t@));

	printf(");\n");
	
	return 0;
}
