Definition of the index indf

EXEC SQL CREATE INDEX indf on one (indf);