more constant folding