no public header spec