@Callback @BindSelector("width") public static int getWidth(GLKTextureInfo __self__, Selector __cmd__) { return __self__.getWidth(); }