Source position: gtkspinbutton.pp line 93
function gtk_spin_button_get_value_as_int(
spin_button: PGtkSpinButton
):gint;