Source position: gnomestock.inc line 239
function gnome_stock_or_ordinary_button(
thetype: Pchar
):PGtkWidget;