IMAGE_POSITIVE_INTEGER_VALUE 1452 src/image.c    	case IMAGE_POSITIVE_INTEGER_VALUE:
IMAGE_POSITIVE_INTEGER_VALUE 4385 src/image.c      {":width",		IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 4386 src/image.c      {":height",		IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 4387 src/image.c      {":stride",		IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 4397 src/image.c      {":data-width",	IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 4398 src/image.c      {":data-height",	IMAGE_POSITIVE_INTEGER_VALUE,		0}
IMAGE_POSITIVE_INTEGER_VALUE 12248 src/image.c      {":pt-width",		IMAGE_POSITIVE_INTEGER_VALUE,		1},
IMAGE_POSITIVE_INTEGER_VALUE 12249 src/image.c      {":pt-height",	IMAGE_POSITIVE_INTEGER_VALUE,		1},