// TODO this is where the extern declarations go. For example, see
// inc/efilib.h in gnu-efi-code