Don't we need //CHECK stmt here?