/* See LICENSE file for copyright and license details. */

int
main(int argc, char **argv)
{
	return 0;
}