select count(*) into l_cnt
    from dual
   where exists ( select NULL
                    from emp
                   where sal > 4000 );