GIFSIZE filename

Output the width and height of the GIF file that is specified by the filename input. The filename input must be a word that is the name of valid GIF file.

The output is a two-member list of the form [width height].

SHOW GIFSIZE "myfile.gif
[256 256]