Create pt-sem.h