test_deliverable/testcases/test_MAINPRINT0.c


1
2
3
4
5
6
7

int printf(const char *format, ...);

int main(int argc, char *argv[])
{
    printf("program name : %s\nInput variables : %d\n", argv[0], argc);
    return 0;
}