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