Drop main from the sema package.