#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

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

int tmp(int[5][6]);

int main(int argc, char *argv[])
{
	int a[5][6];
	a[2][3] = 3;
	printf("%d\n",tmp(a));
	return EXIT_SUCCESS;
}

int tmp(int a[5][6])
{
	return a[2][3];
}