package header, sensei doc