OS.memmove (adjustment, handle);
OS.memmove (adjustment, adjustmentHandle);
public int getThumb () {	checkWidget ();	GtkAdjustment adjustment = new GtkAdjustment ();	OS.memmove (adjustment, handle);	return (int) adjustment.page_size;}