pub fn device_size_as_framebuffer_size(
    framebuffer_size: DeviceIntSize
) -> FramebufferIntSize