Update sema.go