USSize            211 src/androidgui.h #define USSize		(1L << 1) /* user specified width, height */
USSize             85 src/haikugui.h #define USSize		(1L << 1) /* user specified width, height */
USSize            132 src/nsgui.h    #define USSize		(1L << 1) /* user specified width, height */
USSize             87 src/pgtkgui.h  #define USSize		(1L << 1)	/* user specified width, height */
USSize             79 src/w32gui.h   #define USSize		(1L << 1) /* user specified width, height */