external load_img: GL.img_input ->
        GL.image_data *
        int * int *
        GL.tex_internal_format *
        GL.pixel_data_format
        = "load_png_file"