Formatting codes, and through the smoke testing