stdhdrs.cc #2