path: root/testsuite/tests/driver/T12674/-T12674c.c

#include <stdio.h>
void test(int arg
)
{
   printf("Result %i\n", arg );
}