some frequently used c header