CHECK: No space is necessary after a cast
WARNING: Possible repeated word: 'be'