3_function_definitions.ql

import cpp
from Function f
where f.getName()="strlen"
select f,"a function named strlen"