I get the joke and its kinda funny, but 1. `stdio` stands for "STandarD Input Output", what you want is (no)stdint or (no)stdlib 2. those globals could be `static` and then you only need the header
