An overview of IEEE 1100: The Emerald Book.