ios :: NativeGLKViewController :: drawable_width
fun drawable_width: Int in "ObjC" `{ return ((GLKView*)self.view).drawableWidth; `}