void attach(GtkWidget child, int left_attach, int right_attach, int top_attach, int bottom_attach);