Deterministic-termination Packages