Source position: gnomecalculator.inc line 31
procedure set_add_digit(
var a: TGnomeCalculator;
__add_digit: guint
);