/*
* C file that does not use any time functionality -> no errors should
* be reported.
*/
#include <stdio.h>
int main(int argc, char **argv)
{
if (argc > 1) {
printf("Hello");
}
return 0;