All symbols starting with `i' in src/gui-gtk