unreachable 'if'