LT_CONTRACT
lifetime_t opt_life = LT_CONTRACT;
opt_life = LT_CONTRACT;
if ((opt_life != LT_CONTRACT) && (opt_count >= 0)) {
if (opt_life == LT_CONTRACT) {
if (opt_life == LT_CONTRACT) {