indf 

Definition of the single-column index indf

EXEC SQL CREATE INDEX indf on one (indf);