spec: Package_unsafe