/* $Id$ */

void _trace(int i)
{
	printf("[%d]", i);
}