(I am using Ubuntu 18.04 x86-64)
These are the two source files of my program:
//main.c #include "stdio.h"