int	printf(const char *, ...) __attribute__((__format__ (__printf__, 1, 2)));

void	foo(int x, void *mac);

void
foo(int x, void *mac)
{
	printf("x=%b\n", x, "\020\001<b0>\002<b1>\003<b2>\004<b3>");
	printf("ether %6D\n", mac, ":");
	printf("x=%#y\n", x);
	printf("x=%r\n", x);
}