INT = RenderingContext.INT