Constant GDK_WINDOW_STATE_TOP_TILED 

pub const GDK_WINDOW_STATE_TOP_TILED: GdkWindowState = 512;