import cpp

from Constructor c
where c.isDefault()
select c.getName()