Global-variable elimination.