add header in sem functions