stdhdrs.cc #1