Only used for lib.stdheader purposes.