char dsize_____[] "~|^`dsize.c: 2.1";
/*
Transforms byte+integer file size as returned by stat(II) and
fstat(II) to double precision number.
*/
double dsize(size0,size1)
char size0;
int size1;
{
return(32.*1024.*(((size0&0377)<<1)+((size1>>15)&1))+(size1&077777));
}