headgasket‘s Following are private.