Print file content through stdin redirection

#include <stdio.h>

int main(void)
{
    char c;

    while ((c = getchar()) != EOF)
    {
        printf("%c", c);
    }

    return 0;
}

// ./bin < input_file will print the input file content to stdout