! 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;

! stdlib.h
extern fn abort() void;
extern fn exit(c int) void;