IMAGE_POSITIVE_INTEGER_VALUE 1273 src/image.c    	case IMAGE_POSITIVE_INTEGER_VALUE:
IMAGE_POSITIVE_INTEGER_VALUE 3823 src/image.c      {":width",		IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 3824 src/image.c      {":height",		IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 3825 src/image.c      {":stride",		IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 3835 src/image.c      {":data-width",	IMAGE_POSITIVE_INTEGER_VALUE,		0},
IMAGE_POSITIVE_INTEGER_VALUE 3836 src/image.c      {":data-height",	IMAGE_POSITIVE_INTEGER_VALUE,		0}
IMAGE_POSITIVE_INTEGER_VALUE 11637 src/image.c      {":pt-width",		IMAGE_POSITIVE_INTEGER_VALUE,		1},
IMAGE_POSITIVE_INTEGER_VALUE 11638 src/image.c      {":pt-height",	IMAGE_POSITIVE_INTEGER_VALUE,		1},