- sprintf(line,"short=%d",sizeof(short)); /* SAFE */
- if (!prtopt(&lines,line)) return(0);
- sprintf(line,"char=%d",sizeof(char)); /* SAFE */
- if (!prtopt(&lines,line)) return(0);
- sprintf(line,"char*=%d",sizeof(char *)); /* SAFE */
- if (!prtopt(&lines,line)) return(0);
- sprintf(line,"float=%d",sizeof(float)); /* SAFE */
- if (!prtopt(&lines,line)) return(0);
- sprintf(line,"double=%d",sizeof(double)); /* SAFE */
- if (!prtopt(&lines,line)) return(0);
+ size = (int)sizeof(short);
+ sprintf(line,"short=%d",size); /* SAFE */
+ if (!prtopt(&lines,line)) return(0);
+
+ size = (int)sizeof(char);
+ sprintf(line,"char=%d",size); /* SAFE */
+ if (!prtopt(&lines,line)) return(0);
+
+ size = (int)sizeof(char *);
+ sprintf(line,"char*=%d",size); /* SAFE */
+ if (!prtopt(&lines,line)) return(0);
+
+ size = (int)sizeof(float);
+ sprintf(line,"float=%d",size); /* SAFE */
+ if (!prtopt(&lines,line)) return(0);
+
+ size = (int)sizeof(double);
+ sprintf(line,"double=%d",size); /* SAFE */
+ if (!prtopt(&lines,line)) return(0);
+ }
+