text: /*
   * Copyright 2004 The Aerospace Corporation.  All rights reserved.
   *
   * Redistribution and use in source and binary forms, with or without
   * modification, are permitted provided that the following conditions
   * are met:
   *
   * 1.  Redistributions of source code must retain the above copyright
   *     notice, this list of conditions, and the following disclaimer.
   * 2.  Redistributions in binary form must reproduce the above copyright
   *     notice, this list of conditions, and the following disclaimer in the
   *     documentation and/or other materials provided with the distribution.
   * 3.  The name of The Aerospace Corporation may not be used to endorse or
   *     promote products derived from this software.
   *
   * THIS SOFTWARE IS PROVIDED BY THE AEROSPACE CORPORATION "AS IS" AND
   * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
   * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
   * ARE DISCLAIMED.  IN NO EVENT SHALL THE AEROSPACE CORPORATION BE LIABLE
   * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
   * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
   * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
   * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
   * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
   * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
   * SUCH DAMAGE.
   *
   * $FreeBSD: soc2013/dpl/head/tools/regression/lib/libc/net/test-eui64_ntoa.c 137630 2004-11-11 19:47:55Z nik $
   */
  
  #include <sys/types.h>
  #include <sys/eui64.h>
  #include <stdio.h>
  #include <string.h>
  
  #include "test-eui64.h"
  
  int
  main(int argc, char **argv)
  {
  	char a[EUI64_SIZ];
  
  	printf("1..1\n");
  
  	if (eui64_ntoa(&test_eui64_id, a, sizeof(a)) == 0 &&
  	    strcmp(a, test_eui64_id_ascii) == 0) {
  		printf("ok 1 - eui64_ntoa\n");
  		return (0);
  	}
  	printf("# a = '%s'\n", a);
  
  	printf("not ok 1 - eui64_ntoa\n");
  	return (0);
  }
  