#!/usr/bin/env -S gawk -f
BEGIN {
  printf ("Hello World!\n");
}