#include <stdio.h>

int main(int argc, char **argv)
{
    printf("___C: Hello World from Docker___\n");
    
    return 0;
}