working constant folding