Source position: gtkspinbutton.inc line 122
function gtk_spin_button_get_value_as_int(
spin_button: PGtkSpinButton
):gint;