Symbol: FLEXINT_H