Create pkg_sem.ads