# State pruning