add test for check8b (constant folding)