/* (C) 2005 Christian Neumair <chris@gnome-de.org>, GNU GPLv2 or later */

#include <stdio.h>
#include <string.h>

int
main (int    argc,
      char **argv)
{
	printf ("got strlen: %d", strlen ("\0xE2\0x80\0x8B"));
	return 0;
}
