! stdio.h
struct FILE;
extern static stdin FILE,
              stdout FILE,
              stderr FILE;
extern fn printf(fmt *const u8, ...) void;
extern fn fprintf(fp *FILE, fmt *const u8, ...) void;