yeah  but we are all lazy wtoo busy trying to get stuff done to work out the  minimal  header we need since of folks  shouldn t  be using the hairy one  it should have a name that says  this is not the logging header you are looking for and  ideally  says to the hey  this is where the hairy stuff you are looking for lives 