Added linux builtin type in inet.h to unix library.

[splint.git] / test / tests2.4 / print.c

# include <stdio.h>

int main (void) {
  int i;

  printf ("a%n\n", &i); 
  printf ("%d\n", i);
  return 0;
}