/test/442-checker-constant-folding/