fun frame_label: String import CString.to_s `{
		return CString_to_s((char *)gtk_frame_get_label(self));
	`}