tests/test2b.c

#include <stdio.h>

void test_printer ( int x )
{
  printf("test_printer: %d\n", x );
}