Save that somewhere on your disk. Now, from a terminal, run:

$ gcc -S 01_c_hello_world.c

You should have a file next to the .c file that has the same name but with the .s extension. Let’s see what’s inside…​