box is already a `GtkWidget *`, so the cast suggests that there is an aliasing violation happening here.