#! /bin/gawk -f
# Last edited on 2022-10-20 07:26:17 by stolfi

BEGIN { done = 0; }
(done > 0) { print; next; }
/[#]include/ { print; print "#include <stdint.h>"; done = 1; next; }
// { print; next; }