Hello world!

#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
 
int main(void)
{
  const char* s = "Hello World";
  printf(" padding:\n");
  printf("\t[%10s]\n", s);
  printf("\t[%-10s]\n", s);
  printf("\t[%*s]\n", 10, s);

  printf("Fixed-width types:\n");
  printf("\tLargest 32-bit value is %" PRIu32 " or %#" PRIx32 "\n",
                                     UINT32_MAX,     UINT32_MAX );
}

C99 GCC 12.1

> gcc hlwld.c -o helloword
> ./helloworld

padding:
[ Hello World]
[Hello World ]
[ Hello World]
Fixed-width types:
Largest 32-bit value is 4294967295 or 0xffffffff