WITHOUT-PACKAGE-LOCKS needn't be re-invented in sb-gmp