History builtin/builtin_GetPixel.ml