std.stdio: annotate C functions