int foo()
{
	char bar[20];
	return sizeof(bar);	/* returns 20 as expected */
}